Issue1209-3.agda:3,1-51
Cannot set OPTIONS pragma --sized-types with safe flag.
